大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Rational Fault Analysis 的图书(共6629本)

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

System Analysis: Theory and Applications [electronic resource]

0
索取号：
作者：Zgurovsky、 M. Z.、Pankratova、 N. D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Quantum Probability and Spectral Analysis of Graphs [electronic resource]

0
索取号：
作者：Hora、 Akihito.、Obata、 Nobuaki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Rigorous Development of Complex Fault-Tolerant Systems [electronic resource]

0
索取号：
作者：Butler、 Michael.、Jones、 Cliff B.、Romanovsky、 Alexander.、Troubitsyna、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Robotics Research [electronic resource] : Results of the 12th International Symposium ISRR

0
索取号：
作者：Thrun、 Sebastian.、Brooks、 Rodney.、Durrant-Whyte、 Hugh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Boundary Element Analysis [electronic resource] : Mathematical Aspects and Applications

0
索取号：
作者：Schanz、 Martin.、Steinbach、 Olaf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer and Information Sciences-ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

0
索取号：
作者：Levi、 Albert.、Sava艧、 Erkay.、Yenig眉n、 H眉sn眉.、Balc谋soy、 Selim.、Sayg谋n、 Y眉cel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

0
索取号：
作者：Graf、 Susanne.、Zhang、 Wenhui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trace Fossil Analysis [electronic resource]

0
索取号：
作者：Seilacher、 Adolf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers

0
索取号：
作者：Mobasher、 Bamshad.、Nasraoui、 Olfa.、Liu、 Bing.、Masand、 Brij.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings

0
索取号：
作者：Mart铆nez-Trinidad、 Jos茅 Francisco.、Carrasco Ochoa、 Jes煤s Ariel.、Kittler、 Josef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Asymptotic Analysis and Boundary Layers [electronic resource]

0
索取号：
作者：Cousteix、 Jean.、Mauss、 Jacques.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Frontiers of Computational Science [electronic resource] : Proceedings of the International Symposium on Frontiers of Computational Science 2005

0
索取号：
作者：Kaneda、 Yukio.、Kawamura、 Hiroshi.、Sasai、 Masaki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers

0
索取号：
作者：Nasraoui、 Olfa.、Za茂ane、 Osmar.、Spiliopoulou、 Myra.、Mobasher、 Bamshad.、Masand、 Brij.、Yu、 Philip S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.